✍️斯坦尼斯瓦夫•莱姆（1921—2006），波兰著名作家、哲学家。当过汽车技工，终获医学博士学位，创立波兰宇航协会。代表作有《索拉里斯星》《未来学大会》《惨败》等。作品多聚焦哲学主题，探讨科技对人类的影响、智慧的本质、外星交流，以及人类认知的局限等。1996年被授予波兰国 家奖章“白鹰勋章”，波兰第一颗人造卫星以他的名字命名。 ✍️莱姆是20世纪欧洲最多才多艺的作家之一，安东尼•伯吉斯称赞他是“当今活跃的作家中最智慧、最博学、最幽默的一位”，库尔特•冯内古特赞扬他“无论是语言的驾驭、想象力还是塑造悲剧角色的手法，都非常优秀，无人能出其右”。被译成52种语言，全球畅销4000余万册。

简介：作者图少全用风景照代替了嗷本书写的是我和我喜欢的那个人的感情史，我俩都是女生，从初识到两不相见。从我和她关系很好到瞒着所有人聊天和接触，最后到现在的两不相见见面就吵，装作和你不熟和讨厌真的很累，明明很熟但不能相认

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of...(展开全部)

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to mak...(展开全部)

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well ...(展开全部)

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to mak...(展开全部)